Skip to content

[circt-bmc] Add LTLToCore to pipeline#9735

Merged
TaoBi22 merged 1 commit intollvm:mainfrom
TaoBi22:bmc-ltl
Feb 24, 2026
Merged

[circt-bmc] Add LTLToCore to pipeline#9735
TaoBi22 merged 1 commit intollvm:mainfrom
TaoBi22:bmc-ltl

Conversation

@TaoBi22
Copy link
Contributor

@TaoBi22 TaoBi22 commented Feb 23, 2026

Might as well get some free LTL support!

CC: #9722

Copy link
Contributor

@fabianschuiki fabianschuiki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! Free stuff! 🦅

@TaoBi22 TaoBi22 merged commit ee4badc into llvm:main Feb 24, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants